Nuprl Definition : eclor? 11,40
eclor?(x)
== ecl_ind(x;k,test.ff;a,b,rec1,rec2.ff;a,b,rec1,rec2.ff;a,b,rec1,rec2.tt;a,rec1.ff;a,n,rec1.ff;a,n,rec1.ff;a,l,rec1.ff) 
latex

Definitionsecl ind, tt, ff
FDL editor aliaseseclor?

origin